\renewcommand\theFancyVerbLine{\scalebox{1.1}{\tiny\rm\textsf{k-\arabic{FancyVerbLine}}}}
%\begin{figure}[h]
\begin{minipage}[t]{.49\textwidth}
\vspace{0pt}
%\begin{alltt}\small
\begin{verbatim}
context BLAMACHINE {
  constraint OneStartState {
    check : new Native('main.Validator').oneStartState(self)
    message : 'There must be exactly one state of type START'
   }
}

\end{verbatim}
\end{minipage}
%\caption{\label{fig:kconfigsnippet}Fragment of a \kconfig model}
%\end{figure}
